8.1.3.2 b) と対比してください。